The Measurability of Complex-Valued Functional Sequences
نویسندگان
چکیده
In this article, we formalized the measurability of complexvalued functional sequences. First, we proved the measurability of the limits of real-valued functional sequences. Next, we defined complex-valued functional sequences dividing real part into imaginary part. Then using the former theorems, we proved the measurability of each part. Lastly, we proved the measurability of the limits of complex-valued functional sequences. We also showed several properties of complex-valued measurable functions. In addition, we proved properties of complex-valued simple functions.
منابع مشابه
Solutions and stability of variant of Van Vleck's and D'Alembert's functional equations
In this paper. (1) We determine the complex-valued solutions of the following variant of Van Vleck's functional equation $$int_{S}f(sigma(y)xt)dmu(t)-int_{S}f(xyt)dmu(t) = 2f(x)f(y), ;x,yin S,$$ where $S$ is a semigroup, $sigma$ is an involutive morphism of $S$, and $mu$ is a complex measure that is linear combinations of Dirac measures $(delta_{z_{i}})_{iin I}$, such that for all $iin I$, $z_{...
متن کاملFUZZY GOULD INTEGRABILITY ON ATOMS
In this paper we study the relationships existing between total measurability in variation and Gould type fuzzy integrability (introduced and studied in [21]), giving a special interest on their behaviour on atoms and on finite unions of disjoint atoms. We also establish that any continuous real valued function defined on a compact metric space is totally measurable in the variation of a regula...
متن کاملIntegral of Complex-Valued Measurable Function
In this article, we formalized the notion of the integral of a complex-valued function considered as a sum of its real and imaginary parts. Then we defined the measurability and integrability in this context, and proved the linearity and several other basic properties of complex-valued measurable functions. The set of properties showed in this paper is based on [15], where the case of real-valu...
متن کاملLebesgue's Convergence Theorem of Complex-Valued Function
In this article, we formalized Lebesgue’s Convergence theorem of complex-valued function. We proved Lebesgue’s Convergence Theorem of realvalued function using the theorem of extensional real-valued function. Then applying the former theorem to real part and imaginary part of complex-valued functional sequences, we proved Lebesgue’s Convergence Theorem of complexvalued function. We also defined...
متن کاملModels of real-valued measurability
Solovay's random-real forcing ([1]) is the standard way of producing real-valued measurable cardinals. Following questions of Fremlin, by giving a new construction, we show that there are combinatorial, measure-theoretic properties of Solovay's model that do not follow from the existence of real-valued measurability.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Formalized Mathematics
دوره 17 شماره
صفحات -
تاریخ انتشار 2009